Formal Verification of Business Processes Represented as Role Activity Diagrams
نویسندگان
چکیده
Business process modeling is performed during the requirements analysis and specification of business software systems. Checking qualitative aspects of business processes is required for quality assurance, as well as for compliance with non-functional requirements. We show how business process models represented as Role Activity Diagrams can be formally checked using process algebras and temporal logics.
منابع مشابه
Role Activity Diagrams as Finite State Processes
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuitive meaning, mainly addressed to the business management community and low-level foundational notations, with a detailed and formal semantics, mainly addressed to the computer science community. Role activity diagrams ar...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملExamine the Relationship between the Process-Oriented Organizations by Strategy Formation as a Formal Process
This article examines the role of management in business processes in relation to the process-oriented organization and strategy formation as a formal process (strategic planning). A questionnaire designed to measure these variables after the validity and reliability among a sample of 183 managers, officials and experts in working systems, information technology and strategic planning in major ...
متن کاملCase Study: UML to CSP Transformation
The aim of this case study is to introduce a transformation from activity diagrams [1] to Communicating Sequential Processes [2]. As the de-facto standard for software design, the UML [1] activity diagram is used to describe low level behaviour of software components or to represent workflow aspect of business processes. In both cases, the verification of the behaviour can be important. The pur...
متن کاملActivity Diagrams : A Formal Framework to Model Business Processes and Code Generation
Activity Diagram is an important component of the set of diagrams used in UML. The OMG document on UML 2.0 proposes a Petri net based semantics for Activity Diagrams. While Petri net based approach is useful and interesting, it does not exploit the underlying inherent reactive behaviour of activity diagrams. In the first part of the paper, we shall capture activity diagrams in synchronous langu...
متن کامل